$\forall$$A$,$B$:Type. finite{-}type($A$) $\Rightarrow$ finite{-}type($B$) $\Rightarrow$ finite{-}type(($A$ + $B$))